A framework for iterated revisionS

A framework for iterated revisionS

A Dynamic Logic of Iterated Belief Change

In this paper we propose a general framework to study iterated changes of belief. Expansions, contractions and revisions are taken as actions which may be performed by an agent, resulting in a change of its beliefs. The syntax of the framework is given by a multi-modal language, containing modalities to reason about the agent's knowledge | representing its nondefeasible, veridical information |...

Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision

In the companion paper (Towards a “sophisticated” model of belief dynamics. Part I), a general framework for realistic modelling of instantaneous states of belief and of the operations involving them was presented and motivated. In this paper, the framework is applied to the case of belief revision. A model of belief revision shall be obtained which, firstly, recovers the Gärdenfors postulates ...

Iterated revision and the axiom of recovery: A unified treatment via epistemic states

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom— while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. ...

Iterated revision and the axiom of recovery: a unified treatment via epistemic states

The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom— while agreeing that some of their insight deserves to be preserved— and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions....